Trefferliste "Mathematical Proof" - alle Bücher

Wir konnten keine exakten Treffer zu Ihrer Suche nach "mathematical proof" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:

Proof Assistants and Their Applications in Mathematics and Computer Science

Since their beginnings in the 1960s, proof assistants (also called interactive theorem provers) have grown to become essential tools to establish the correctness of hardware and software and to computeriz…

lieferbar ab 12.1.2026.
Buch
Aktueller Preis: EUR 96,91

Jacob Tawney
Another Sort of Mathematics

Years ago, James V. Schall wrote Another Sort of Learning , a book listing those things you should read but probably were never required to read. It is not a curriculum, except maybe one "for life.&q…

lieferbar innerhalb 1-2 Wochen
Buch
Aktueller Preis: EUR 33,40

Stefan Müller-Stach
The Code of Mathematics

Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. Besides selected ideas …

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 53,32

Stephen Abbott
The Proof Stage

How playwrights from Alfred Jarry and Samuel Beckett to Tom Stoppard and Simon McBurney brought the power of mathematics to life on the stageThe discovery of alternate geometries, paradoxes of the infinit…

lieferbar ab 28.10.2025.
Buch
Aktueller Preis: EUR 27,16

Elena Vigna, Massimo Marinacci, Simone Cerreia-Vioglio
Vigna, E: Principles of Mathematics for Economics

This textbook provides a comprehensive and rigorous introduction to various mathematical topics that play a key role in economics and finance. Motivated by economic applications, the authors introduce stu…

Erscheint bald
Buch
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.